On free monoids partially ordered by embedding
نویسندگان
چکیده
منابع مشابه
Morita theorems for partially ordered monoids
Two partially ordered monoids S and T are called Morita equivalent if the categories of right S-posets and right T -posets are Pos-equivalent as categories enriched over the category Pos of posets. We give a description of Pos-prodense biposets and prove Morita theorems I, II, and III for partially ordered monoids.
متن کاملInjective Hulls of Partially Ordered Monoids
We find the injective hulls of partially ordered monoids in the category whose objects are po-monoids and submultiplicative order-preserving functions. These injective hulls are with respect to a special class of monics called “embeddings”. We show as well that the injective objects with respect to these embeddings are precisely the quantales.
متن کاملEmbedding Partially Ordered Sets into Chain-products
Embedding partially ordered sets into chain-products is already known to be NP-complete (see Yannakakis 30] for dimension or Stahl and Wille 26] for 2-dimension). In this paper, we introduce a new dimension parameter and show that encoding using terms (or k-dimension) is not better than bit-vector (or 2-dimension) and vice versa. A decomposition theory is introduced using coatomic lattices. An ...
متن کاملOn the Cubical Homology Groups of Free Partially Commutative Monoids
We study a Leech homology of a locally bounded free partially commutative monoid M(E, I). Given a contravariant natural system of abelian groups F on M(E, I) we build a precubical set T (E, I) with a homological system of abelian groups F and prove that the Leech homology groups Hn(M(E, I), F ) are isomorphic to the cubical homology groups Hn(T (E, I), F ), n > 0. As a consequence we have confi...
متن کاملPartially Ordered Monoids Generated by Operators H , S , P , and by H , S , P f Are
Let I , H , S , P , Pf be the usual operators on classes of algebras of the same type (Pf for filtered products). The partially ordered monoid generated by the operators H , S , P with respect to composition of operators, I as an identity element, and a natural ordering between operators is described by Pigozzi (Algebra Universalis 2 (1972), 346–353). Let us denote by M = 〈H,S, P 〉 and by Mf = ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Combinatorial Theory
سال: 1969
ISSN: 0021-9800
DOI: 10.1016/s0021-9800(69)80111-0